- categorical fibration
- мат.категорическое расслоение
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Categorical logic — is a branch of category theory within mathematics, adjacent to mathematical logic but in fact more notable for its connections to theoretical computer science. In broad terms, categorical logic represents both syntax and semantics by a category,… … Wikipedia
Fibred category — Fibred categories are abstract entities in mathematics used to provide a general framework for descent theory. They formalise the various situations in geometry and algebra in which inverse images (or pull backs) of objects such as vector bundles … Wikipedia
Model category — In mathematics, particularly in homotopy theory, a model category is a category with distinguished classes of morphisms ( arrows ) called weak equivalences , fibrations and cofibrations . These abstract from a conventional homotopy category, of… … Wikipedia
Simplicial set — In mathematics, a simplicial set is a construction in categorical homotopy theory which is a purely algebraic model of the notion of a well behaved topological space. Historically, this model arose from earlier work in combinatorial topology and… … Wikipedia
Grothendieck–Hirzebruch–Riemann–Roch theorem — In mathematics, specifically in algebraic geometry, the Grothendieck–Riemann–Roch theorem is a far reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a… … Wikipedia
Crossed module — In mathematics, and especially in homotopy theory, a crossed module consists of groups G and H, where G acts on H (which we will write on the left), and a homomorphism of groups that is equivariant with respect to the conjugation action of G on… … Wikipedia
John R. Stallings — John Robert Stallings is a mathematician known for his seminal contributions to geometric group theory and 3 manifold topology. Stallings is a Professor Emeritus in the Department of Mathematics and the University of California at Berkeley. [… … Wikipedia